321. Mathematical logic and the foundations of mathematics
Author: / G.T. Kneebone
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical
Classification :
QA9
.
K673
2001
322. Mathematical logic and the foundations of mathematics
Author: / G.T. Kneebone
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical
Classification :
QA9
.
K673
2001
323. Mathematical logic and theoretical computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
2
.
M35
1987
324. Mathematical logic : applications and theory
Author: Rubin, Jean E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R82
325. Mathematical logic : basic principles and formal calculus
Author: / Wei Li
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
326. Mathematical logic & computability
Author: Keisler, H. Jerome
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic, symbolic & mathematical
Classification :
QA
9
.
K4
M3
327. Mathematical logic for computer science
Author: Ben-Ari, Mordechai
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
B3955
2001
328. Mathematical logic for computer science
Author: Ben-Ari, M.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
B3955
2001
329. Mathematical logic for computer science
Author: Lu, Chung-wan.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
330. Mathematical logic for computer science
Author: Mordechai Ben-Ari
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
B3955
2012eb
331. Mathematical logic for computer science
Author: Ben-Ari, M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
B3955
2001
332. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
333. Mathematical logic for computer science
Author: Lu, Zhong-Wan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35L8
1989
334. Mathematical logic : foundations for information science
Author: Li, Wei, 3491 June-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
L58M3
2014
335. Mathematical logic in Asia
پدیدآورنده :
موضوع : Logic, Symbolic and mathematical Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
336. Mathematical logic in Asia
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ;
337. Mathematical logic in Asia
Author: / editors, S.S. Goncharov, R. Downey, H. Ono
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
Q
,
334
,.
A853
,
2005
338. Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Author: editors, S. S. Goncharov, R. Downey, H. Ono
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1A84
2005
339. Mathematical logic in Latin America
Author: / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
,.
A1
,
L37
,
1978
340. Mathematical logic in Latin America
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ;
